The HiVy Tool Set
نویسندگان
چکیده
1 .O Introduction The HiVy toolset provides model checking for statecharts ([SFUG]). This is achieved by translating statechart specifications into the input language of the Spin model checker ([Ho197]). The HiVy toolbox transforms output of the commercial tool Stateflow@ provided by The Mathworks. HiVy can also be used independently from Stateflow. An abstract syntax of hierarchical sequential automata (HSA) is provided as an intermediate format for the toolset [Mik02]. The HiVy toolset programs include Sparse, sflhsa, hsa2pr and the HSA merge facility.
منابع مشابه
طراحی و ارزیابی ارگونومیکی دستگاه متصل کننده ست سرم به محلول سرم
Introduction: Nursing is one of professions that employees are at risk of fatigue and work related musculoskeletal disorders, because of high physical workload and high job stress. Connecting serum set to serum solution is one of the repetitive tasks for nurses in their working times and it may cause pain and discomfort in their hand. The aim of this study was to design and ergonomic evaluation...
متن کاملUsing a Data Mining Tool and FP-Growth Algorithm Application for Extraction of the Rules in two Different Dataset (TECHNICAL NOTE)
In this paper, we want to improve association rules in order to be used in recommenders. Recommender systems present a method to create the personalized offers. One of the most important types of recommender systems is the collaborative filtering that deals with data mining in user information and offering them the appropriate item. Among the data mining methods, finding frequent item sets and ...
متن کاملA Minimum Data Set of Educational Self-care Software for Patients with Cirrhosis
Introduction: Liver cirrhosis has grown significantly in Asian countries over the last few years. However, there is no tool for collecting liver cirrhosis data. The purpose of this study was to design a minimum data set for the self-care education of liver cirrhosis. Methods: This descriptive study was conducted in the first half of 2018 in cooperation with 16 liver specialists of Rasool Akram ...
متن کاملA Minimum Data Set of Educational Self-care Software for Patients with Cirrhosis
Introduction: Liver cirrhosis has grown significantly in Asian countries over the last few years. However, there is no tool for collecting liver cirrhosis data. The purpose of this study was to design a minimum data set for the self-care education of liver cirrhosis. Methods: This descriptive study was conducted in the first half of 2018 in cooperation with 16 liver specialists of Rasool Akram ...
متن کاملModelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool
Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...
متن کامل